Ein endlicher Automat, definiert in virtueller Umgebung, heißt Virtueller Endlicher Automat (eng. Virtual Finite State Machine, VFSM). VFSM ist eine Spezifikationstechnik, eingesetzt, um das Verhalten von logischen Systemen mit Hilfe von Eingabe-Steuerungseigenschaften und Ausgabe-Aktionen zu beschreiben. VFSM führt ein Logik-Ausführungsmodell ...